#include <iostream>

int main() {
    int num; //表示城市所代表的数字
    scanf("%d",&num);
    switch (num) {
        case 61:
            printf("Brasilia");break;
        case 71:
            printf("Salvador");break;
        case 11:
            printf("Sao Paulo");break;
        case 21:
            printf("Rio de Janeiro");break;
        case 32:
            printf("Juiz de Fora");break;
        case 19:
            printf("Campinas");break;
        case 27:
            printf("Vitoria");break;
        case 31:
            printf("Belo Horizonte");break;
        default:
            printf("DDD nao cadastrado");break;
    }
    return 0;
}
